07a2587ae19e10bf2a08833b0099eb9b38736795,io.sloeber.core/src/io/sloeber/core/tools/Helpers.java,Helpers,setTheEnvironmentVariablesAddThePlatformInfo,#IContributedEnvironment#ICConfigurationDescription#,731
Before Change
for (ArduinoPlatform curPlatform : Manager.getInstalledPlatforms()) {
addPlatformFileTools(curPlatform, contribEnv, confDesc);
}
ArduinoPlatform platform = Manager.getPlatform(new File(referencedPlatformFileName));
if (platform != null) {
addPlatformFileTools(platform, contribEnv, confDesc);
}
After Change
}
// by adding the referencenced platform after the real platform
platform = Manager.getPlatform(new File(referencedPlatformFileName));
if (platform != null) {
addPlatformFileTools(platform, contribEnv, confDesc);
}